AN APPROACH TO THE OPTIMAL SPECIFICATION OF READONLY MEMORIES IN MICROPROGRAMMED DIGITAL COMPUTERS.MONTANGERO C.1974; I.E.E.E. TRANS. COMPUTERS; U.S.A.; DA. 1974; VOL. 23; NO 4; PP. 375-389; BIBL. 6 REF.Article

TWO-LEVEL CONTROL STRUCTURE FOR NONDETERMINISTIC PROGRAMMING.MONTANGERO C; PACINI G; TURINI F et al.1977; COMMUNIC. A.C.M.; U.S.A.; DA. 1977; VOL. 20; NO 10; PP. 725-730; BIBL. 15 REF.Article

Compositional refinements in multiple blackboard systemsCHEN, X. J; MONTANGERO, C.Acta informatica. 1995, Vol 32, Num 5, pp 415-458, issn 0001-5903Article

Automatic generation of execution tools in a GANDALF environmentAMBRIOLA, V; MONTANGERO, C.The Journal of systems and software. 1985, Vol 5, Num 2, pp 155-171, issn 0164-1212Article

INFORMATION MANAGEMENT IN CONTEXT TREES.MONTANGERO C; PACINI G; SIMI M et al.1978; ACTA INFORMAT.; DEU; DA. 1978; VOL. 10; NO 1; PP. 85-94; BIBL. 12 REF.Article

A refinement calculus for tuple spacesSEMINI, L; MONTANGERO, C.Science of computer programming. 1999, Vol 34, Num 2, pp 79-140, issn 0167-6423Article

Composing specifications for coordinationMONTANGERO, C; SEMINI, L.Lecture notes in computer science. 1999, pp 118-133, issn 0302-9743, isbn 3-540-65836-XConference Paper